<!DOCTYPE html>
<html>
  <head>
    <title>original unmodified title</title>
  </head>
  <body>
    <script src="set_title.js" type="text/javascript"></script>
  </body>
</html>
